doc: Fix serial console command line.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/docs/src/user.tex b/docs/src/user.tex
index c12d5f5ed48e193bc93d8d5f68238625279ab9f6..c1c0a35e7405ba4aa3f2ac845a3c6f5573a4f4db 100644 (file)
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -665,7 +665,7 @@ In order to configure Xen serial console output, it is necessary to
 add a boot option to your GRUB config; e.g.\ replace the previous
 example kernel line with:
 \begin{quote} {\small \begin{verbatim}
-   kernel /boot/xen.gz dom0_mem=131072 com1=115200,8n1
+   kernel /boot/xen.gz dom0_mem=131072 com1=115200,8n1 console=com1,vga
 \end{verbatim}}
 \end{quote}